On the specification of operations on the rational behaviour of systems
نویسندگان
چکیده
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the behaviour of all systems of a given type functor. We introduce a format for specification of algebraic operations that restrict to the rational fixpoint of a functor, which captures the behaviour of finite systems. In other words, we show that rational behaviour is closed under operations specified in our format. As applications we consider operations on regular languages, regular processes and finite weighted transition systems.
منابع مشابه
Hyper-Rational Choice and Economic Behaviour
In this paper, with help of the concept of hyper-rationality, we model the interaction between two investment companies by an important game as trickery game that has special equilibrium which called hyper-equilibrium. In trickery game, one company can choose cooperation with another company until the last moment and finally changes his action to non-cooperation which incur more loss to an oppo...
متن کاملA Lightweight Intrusion Detection System Based on Specifications to Improve Security in Wireless Sensor Networks
Due to the prevalence of Wireless Sensor Networks (WSNs) in the many mission-critical applications such as military areas, security has been considered as one of the essential parameters in Quality of Service (QoS), and Intrusion Detection System (IDS) is considered as a fundamental requirement for security in these networks. This paper presents a lightweight Intrusion Detection System to prote...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملThe effectiveness of rational-emotional behavior therapy (REBT) on behavioral activation / inhibition systems (BAS / BIS), high-risk sexual behaviors and experimental avoidance in adolescents with a history of running away from home
The main purpose of this study was to determine the effectiveness of rational-emotional behavior therapy (REBT) on behavioral activation/inhibition systems (BAS / BIS), high-risk sexual behaviors, and experimental avoidance in adolescents with a history of running away from home. The research method was quasi-experimental with a pre-test-post-test design with the control group. The statistical ...
متن کاملFully Fuzzy Linear Systems
As can be seen from the definition of extended operations on fuzzy numbers, subtraction and division of fuzzy numbers are not the inverse operations to addition and multiplication . Hence, to solve the fuzzy equations or a fuzzy system of linear equations analytically, we must use methods without using inverse operators. In this paper, a novel method to find the solutions in which 0 is not ...
متن کامل